PyCSP - controlled concurrency
نویسندگان
چکیده
Producing readable and correct programs while at the same time taking advantage of multi-core architectures is a challenge. PyCSP is an implementation of Communicating Sequential Processes algebra (CSP) for the Python programming language, taking advantage of CSP’s formal and verifiable approach to controlling concurrency and the readability of Python source code. We describe PyCSP, demonstrate it through examples and demonstrate how PyCSP compares to Pthreads using a benchmark.
منابع مشابه
PyCSP - Communicating Sequential Processes for Python
The Python programming language is effective for rapidly writing programs and experimenting with them. It is increasingly being used in computational sciences, and in teaching computer science. CSP is effective for describing concurrency. It has become especially relevant with the emergence of commodity multi-core architectures. We are interested in exploring how a combination of Python and CSP...
متن کاملCsp for Executable Scientific Workflows
This thesis presents CSP as a means of orchestrating the execution of tasks in a scientific workflow. Scientific workflow systems are popular in a wide range of scientific areas, where tasks are organised in directed graphs. Execution of such graphs is handled by the scientific workflow systems and can usually benefit performance-wise from both multiprocessing, cluster and grid environments. Py...
متن کاملProcess-Oriented Collective Operations
Distributing process-oriented programs across a cluster of machines requires careful attention to the effects of network latency. The MPI standard, widely used for cluster computation, defines a number of collective operations: efficient, reusable algorithms for performing operations among a group of machines in the cluster. In this paper, we describe our techniques for implementing MPI communi...
متن کاملPyCSP Revisited
PyCSP was introduced two years ago and has since been used by a number of programmers, especially students. The original motivation behind PyCSP was a conviction that both Python and CSP are tools that are especially well suited for programmers and scientists in other fields than computer science. Working under this premise the original PyCSP was very similar to JCSP and the motivation was simp...
متن کاملBoosting with recombinant vaccinia increases immunogenicity and protective efficacy of malaria DNA vaccine.
To enhance the efficacy of DNA malaria vaccines, we evaluated the effect on protection of immunizing with various combinations of DNA, recombinant vaccinia virus, and a synthetic peptide. Immunization of BALB/c mice with a plasmid expressing Plasmodium yoelii (Py) circumsporozoite protein (CSP) induces H-2Kd-restricted CD8+ cytotoxic T lymphocyte (CTL) responses and CD8+ T cell- and interferon ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJIPM
دوره 1 شماره
صفحات -
تاریخ انتشار 2010